Sfoglia per Serie CEUR WORKSHOP PROCEEDINGS
Formal Methods Meet XAI: the Tool DEGARI 2.0 for Social Inclusion
2022-01-01 Lieto, Antonio; Pozzato, GIAN LUCA; Striani, Manuel; Zoia, Stefano; Damiano, Rossana
Fostering Awareness and Personalization of Learning Artificial Intelligence
2023-01-01 Baldoni, M.; Baroglio, C.; Bottrighi, A.; Bucciarelli, M.; Capecchi, S.; Gandolfi, E.; Gena, C.; Iani, F.; Marengo, E.; Marocco, D.; Micalizio, R.; Piovesan, L.; Ponticorvo, M.; Rapp, A.; Roveta, A.; Terenziani, P.; Ugo, F.
A framework for a modular multi-concept lexicographic closure semantics (an abridged report)
2021-01-01 Giordano, Laura; THESEIDER DUPRE', Daniele
From knowledge-based trace abstraction to process model comparison
2018-01-01 Leonardi, G.; Striani, M.; Quaglini, S.; Cavallini, A.; Montani, S.
From Weighted Conditionals with Typicality to a Gradual Argumentation Semantics and back
2022-01-01 Giordano, L.
Giordano, Laura; Gliozzi, Valentina; Pozzato, Gian Luca; Renzulli, Riccardo
2017-01-01 Giordano, Laura; Gliozzi, Valentina; Pozzato, GIAN LUCA; Renzulli, Riccardo
A Java-like Calculus with User-Defined Coeffects
2022-01-01 Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena
Model Checking Verification of MultiLayer Perceptrons in Datalog: A Many-valued Approach with Typicality
2022-01-01 Bartoli, F.; Botta, M.; Esposito, R.; Giordano, L.; THESEIDER DUPRE', Daniele
Multilayer Perceptrons as Weighted Conditional Knowledge Bases: An Overview
2022-01-01 Giordano, L.; THESEIDER DUPRE', Daniele
A multipreference semantics from common sense reasoning to neural network models: An overview
2021-01-01 Giordano, L.; Gliozzi, V.; Theseider Dupre', Daniele.
On a plausible concept-wise multipreference semantics and its relations with self-organising maps
2020-01-01 Giordano, L.; Gliozzi, V.; Theseider Dupre', D.
Ontologies and the Cultural Heritage. The case of GO!
2016-01-01 Lana, Maurizio; Borgna, Alice; Ciotti, Fabio; Tambassi, Timothy
Opening the Black-box: Deep Neural Networks as Weighted Conditional Knowledge Bases (Extended Abstract)
2021-01-01 Giordano, Laura; THESEIDER DUPRE', Daniele
Preferential Low Complexity Description Logics: Complexity Results and Proof Methods.
2012-01-01 Giordano, Laura; Gliozzi, V; Olivetti, N; Pozzato, G. L.
Preferential reasoning with typicality and neural network models (Extended abstract)
2021-01-01 Giordano, L.; Gliozzi, V.; Theseider Dupre', D.
Preferential Reasoning with Typicality in ASP over Weighted Argumentation Graphs in a Gradual Semantics
2023-01-01 Alviano, Mario; Giordano, Laura; Theseider Dupre', Daniele
Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases
2023-01-01 Alviano, Mario; Giordano, Laura; Theseider Dupre', Daniele
Reasoning about actions with ℰℒ ontologies and temporal answer sets
2021-01-01 Giordano, L.; Martelli, A.; Theseider Dupre', Daniele.
Reasoning About Typicality in ALC and EL
2009-01-01 Giordano, Laura; V., Gliozzi; N., Olivetti; G. L., Pozzato
Runtime checks as nominal types
2016-01-01 Giannini, Paola; Servetto, Marco; Zucca, Elena
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Formal Methods Meet XAI: the Tool DEGARI 2.0 for Social Inclusion | 1-gen-2022 | Lieto, Antonio; Pozzato, GIAN LUCA; Striani, Manuel; Zoia, Stefano; Damiano, Rossana | |
Fostering Awareness and Personalization of Learning Artificial Intelligence | 1-gen-2023 | Baldoni, M.; Baroglio, C.; Bottrighi, A.; Bucciarelli, M.; Capecchi, S.; Gandolfi, E.; Gena, C.; Iani, F.; Marengo, E.; Marocco, D.; Micalizio, R.; Piovesan, L.; Ponticorvo, M.; Rapp, A.; Roveta, A.; Terenziani, P.; Ugo, F. | |
A framework for a modular multi-concept lexicographic closure semantics (an abridged report) | 1-gen-2021 | Giordano, Laura; THESEIDER DUPRE', Daniele | |
From knowledge-based trace abstraction to process model comparison | 1-gen-2018 | Leonardi, G.; Striani, M.; Quaglini, S.; Cavallini, A.; Montani, S. | |
From Weighted Conditionals with Typicality to a Gradual Argumentation Semantics and back | 1-gen-2022 | Giordano, L. | |
Giordano, Laura; Gliozzi, Valentina; Pozzato, Gian Luca; Renzulli, Riccardo | 1-gen-2017 | Giordano, Laura; Gliozzi, Valentina; Pozzato, GIAN LUCA; Renzulli, Riccardo | |
A Java-like Calculus with User-Defined Coeffects | 1-gen-2022 | Bianchini, Riccardo; Dagnino, Francesco; Giannini, Paola; Zucca, Elena | |
Model Checking Verification of MultiLayer Perceptrons in Datalog: A Many-valued Approach with Typicality | 1-gen-2022 | Bartoli, F.; Botta, M.; Esposito, R.; Giordano, L.; THESEIDER DUPRE', Daniele | |
Multilayer Perceptrons as Weighted Conditional Knowledge Bases: An Overview | 1-gen-2022 | Giordano, L.; THESEIDER DUPRE', Daniele | |
A multipreference semantics from common sense reasoning to neural network models: An overview | 1-gen-2021 | Giordano, L.; Gliozzi, V.; Theseider Dupre', Daniele. | |
On a plausible concept-wise multipreference semantics and its relations with self-organising maps | 1-gen-2020 | Giordano, L.; Gliozzi, V.; Theseider Dupre', D. | |
Ontologies and the Cultural Heritage. The case of GO! | 1-gen-2016 | Lana, Maurizio; Borgna, Alice; Ciotti, Fabio; Tambassi, Timothy | |
Opening the Black-box: Deep Neural Networks as Weighted Conditional Knowledge Bases (Extended Abstract) | 1-gen-2021 | Giordano, Laura; THESEIDER DUPRE', Daniele | |
Preferential Low Complexity Description Logics: Complexity Results and Proof Methods. | 1-gen-2012 | Giordano, Laura; Gliozzi, V; Olivetti, N; Pozzato, G. L. | |
Preferential reasoning with typicality and neural network models (Extended abstract) | 1-gen-2021 | Giordano, L.; Gliozzi, V.; Theseider Dupre', D. | |
Preferential Reasoning with Typicality in ASP over Weighted Argumentation Graphs in a Gradual Semantics | 1-gen-2023 | Alviano, Mario; Giordano, Laura; Theseider Dupre', Daniele | |
Preferential Temporal Description Logics with Typicality and Weighted Knowledge Bases | 1-gen-2023 | Alviano, Mario; Giordano, Laura; Theseider Dupre', Daniele | |
Reasoning about actions with ℰℒ ontologies and temporal answer sets | 1-gen-2021 | Giordano, L.; Martelli, A.; Theseider Dupre', Daniele. | |
Reasoning About Typicality in ALC and EL | 1-gen-2009 | Giordano, Laura; V., Gliozzi; N., Olivetti; G. L., Pozzato | |
Runtime checks as nominal types | 1-gen-2016 | Giannini, Paola; Servetto, Marco; Zucca, Elena |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile